Graph connectivity

Results: 1040



#Item
681Logic / Inductive reasoning / Mathematical induction / Model checking / Connectivity / Graph theory / Structural induction / Mathematics / Mathematical logic / Mathematical proofs

Automated Extraction of Inductive Invariants to Aid Model Checking Michael L. Case Alan Mishchenko

Add to Reading List

Source URL: www.bvsrc.org

Language: English - Date: 2007-07-30 11:40:19
682Networks / Algebraic graph theory / Network analysis / Degree distribution / Connectivity / Flow network / Complex network / Random graph / Clustering coefficient / Graph theory / Mathematics / Network theory

Microscopic Evolution of Social Networks ∗ Jure Leskovec ∗

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2011-11-19 02:38:54
683Networks / Network theory / Graphical models / Submodular set function / Centrality / Random graph / Connectivity / Flow network / Topological sorting / Graph theory / Mathematics / Combinatorics

Maximizing the Spread of Influence through a Social Network David Kempe ∗

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2011-11-19 02:38:45
684Mathematics / Piconet / Telecommunications engineering / Connectivity / Graph / Tree / Relative neighborhood graph / Gabriel graph / Bluetooth / Technology / Scatternet

Partial Delaunay triangulation and Bluetooth scatternet formation Xiang-Yang Li Ivan Stojmenovic [removed] www.site.uottawa.ca/~ivan

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2002-10-03 13:10:58
685Network theory / Networks / Degree / Topology / Directed graph / Vertex / Connectivity / Shortest path problem / Centrality / Graph theory / Mathematics / Theoretical computer science

On Power-Law Relationships Michalis Petros Faloutsos Faloutsos

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2011-11-19 02:38:29
686Algebraic graph theory / Connectome / Graph / Adjacency matrix / Connectivity / Directed graph / Working memory / Visual analytics / Social network analysis software / Graph theory / Mathematics / Computational science

Weighted Graph Comparison Techniques for Brain Connectivity Analysis

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2013-01-11 17:19:47
687Networks / Algebraic graph theory / Network analysis / Small-world network / Clustering coefficient / Graph / Average path length / Random graph / Connectivity / Graph theory / Mathematics / Network theory

arXiv:cond-mat/0001118v2 [cond-mat.stat-mech] 9 May[removed]Models of the Small World A Review M. E. J. Newman Santa Fe Institute, 1399 Hyde Park Road, Santa Fe, NM 87501

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2011-11-19 02:38:55
688Networks / Random graphs / Social networks / Connectivity / Complex network / Graph / Watts and Strogatz model / Preferential attachment / Copying mechanism / Graph theory / Mathematics / Network theory

arXiv:cond-mat/9910332v1 [cond-mat.dis-nn] 21 Oct 1999

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2011-11-19 02:38:19
689Statistical models / Graph theory / Bayesian statistics / Probability and statistics / Networks / Markov processes / Method of conditional probabilities / Statistics / Graphical models / Connectivity

Learning Influence Probabilities In Social Networks Amit Goyal Francesco Bonchi Laks V. S. Lakshmanan

Add to Reading List

Source URL: snap.stanford.edu

Language: English - Date: 2011-11-19 02:38:44
690Graph connectivity / Ear decomposition / Max-flow min-cut theorem / Graph / Cut / Spanning tree / Graph theory / Mathematics / Combinatorial optimization

Constructing Optimal Solutions to the Minimum Cost 2-edge-connected Spanning Subgraph Problem Sylvia Boyd Paul Elliott-Magwood

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2006-04-28 12:37:31
UPDATE